64. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
65. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
66. Gale encyclopedia of world history :
پدیدآورنده : editori
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
67. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
68. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
69. On gorup- theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Group, Theory of,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
68
70. On group - Theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F. 1491-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Group , theory of,، Logic , Symbolic and mathematical
رده :
QA
171
.
M48
71. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F., 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Group theory,، Logic, Symbolic and mathematical
رده :
QA
171
.
M48
1971
72. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Groups, Theory of,، Logic, Symbolic and mathematical
رده :
QA
171
.
M48
73. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a